red card of ronaldo